w{-}s($w$; $i$; $t$; $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($w$.2.2.2).1)($i$,$t$,$x$)